dimension of vector spaces